// Proxy config file voor DeltaLloyd
function FindProxyForURL(url, host) {
      // alleen specifieke zaken door het tor netwerk i.v.m. allerts op websense.
      if (shExpMatch(url,"*mail.google.com*"))        {return "PROXY 127.0.0.1:8118; PROXY proxy.ad.intra:8080; DIRECT";}
      if (isInNet(host, "10.0.0.0",  "255.0.0.0"))    {return "DIRECT";}
 
      // All other requests go through port 8080 of proxy.ad.intra.
      // should that fail to respond, go directly to the WWW:
      return "PROXY proxy.ad.intra:8080; DIRECT";
}
